Call graph - PDFSEARCH.IO - Document Search Engine

Call graph
Results: 97

#	Item
71	Datatypes Example: datatype ’a list = Nil \| Cons ’a ”’a list” COMP 4161 NICTA Advanced Course Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Computer law Copyleft Recursion Data types Graph theory Structural induction Tail call List Creative Commons Software engineering Computing Mathematics
72	StackAnalyzer for RX StackAnalyzer automatically determines the worst-case stack usage of the tasks in your application. The analysis results of the analyzed binary executable are shown as annotations in the call graph a Add to Reading List Source URL: www.absint.com Language: English - Date: 2015-01-19 06:15:30 Programming language implementation Renesas Electronics Call graph Compiler Stack Compiler construction Software Computing
73	StackAnalyzer for ARM StackAnalyzer automatically determines the worst-case stack usage of the tasks in your application. The analysis results of the analyzed binary executable are shown as annotations in the call graph Add to Reading List Source URL: www.absint.com Language: English - Date: 2015-02-17 09:23:11 ARM architecture Microcontrollers Compilers ARM9 GNU Compiler Collection Mbed microcontroller Software Computing Computer architecture
74	Enabling Workflows in GridSolve: Request Sequencing and Service Trading Yinan Li1 , Asim YarKhan1 , Jack Dongarra1,2,3 , Keith Seymour1 , and Aur`elie Hurault4 1 2 Add to Reading List Source URL: icl.cs.utk.edu Language: English - Date: 2010-06-23 21:42:53 Computer architecture Grid computing GridRPC Workflow Client–server model Directed acyclic graph Server Remote procedure call Distributed computing Computing Concurrent computing Workflow technology
75	HI-CFG: Construction by Binary Analysis, and Application to Attack Polymorphism Dan Caselden1 , Alex Bazhanyuk2 , Mathias Payer3 , Stephen McCamant4 , and Dawn Song3 1 Add to Reading List Source URL: bitblaze.cs.berkeley.edu Language: English - Date: 2013-06-27 15:30:02 Compiler construction Computer memory Control flow graph Data-flow analysis C dynamic memory allocation Data buffer Call stack ACT-R Pointer Computing Software engineering Computer programming
76	TOM BOHMAN, Carnegie Mellon University, Department of Mathematical Sciences Anti-Ramsey Thresholds We call an edge-coloring of a graph a k-coloring if it uses no more than k colors and k-bounded if it uses no color more Add to Reading List Source URL: cms.math.ca Language: English - Date: 2006-07-10 21:18:19 Graph coloring Conjectures Combinatorics Probabilistic method Edge coloring Graph theory Mathematics Theoretical computer science
77	Valgrind 3.3 Advanced Debugging and Proﬁling for GNU/Linux applications Julian Seward, Nicholas Nethercote, Josef Weidendorfer and the Valgrind Development Team Add to Reading List Source URL: www.network-theory.co.uk Language: English - Date: 2008-06-09 08:14:06 Debuggers Profilers Valgrind Compiler construction Software bugs Julian Seward MemCheck Memory leak Call graph Computing Software Computer programming
78	Efficient Context-Sensitive Intrusion Detection Jonathon T. Giffin Somesh Jha Barton P. Miller Add to Reading List Source URL: www.isoc.org Language: English - Date: 2004-11-17 13:32:45 Subroutines Theoretical computer science Software bugs Recursion Call graph Compiler construction Stack Buffer overflow Call stack Computer programming Software engineering Computing
79	Making Context-sensitive Points-to Analysis with Heap Cloning Practical For The Real World ∗ Chris Lattner Andrew Lenharth Add to Reading List Source URL: llvm.org Language: English - Date: 2010-02-25 20:19:41 Line graph Linked list Call graph Static single assignment form Binary tree Tree decomposition Graph theory Compiler construction Graph operations
80	Profiling Nios II Systems AN[removed]Application Note Add to Reading List Source URL: www.altera.com Language: English Nios II Profiling Embedded operating systems Real-time operating systems GNU Compiler Collection Call graph Nios embedded processor QP Pin Software Computing Profilers